More from this Author

Networked Systems

by Andreas Podelski (Editor), François Taïani (Editor)

Verification, Model Checking, and Abstract Interpretation

by E. Allen Emerson, Kedar S. Namjoshi, Byron Cook (Editor), Andreas Podelski (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Kurt Jensen (Editor), Andreas Podelski (Editor)

Static Analysis

by Andreas Podelski (Editor)